directorate of mining research and production - German English Dictionary